sig Node { next : one Node }
pred isRing () {
  //all n: Node | n in n.^next and
  //not n = n.next
	all n: Node, y: Node | n in y.^next
}
run isRing for exactly 5 Node

// Indication of time spent: 2 man hours
